(assert (= (+ 1.0 (^ 0.5 70.0)) 1.0))
(check-sat)
